تعداد ۲۱ پاسخ غیر تکراری از ۲۱ پاسخ تکراری در مدت زمان ۰,۶۰ ثانیه یافت شد.

1. ASIAN 2003 :--Advances in computing science

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Computer science ; Congresses ; Programming languages (Electronic computers) ; Congresses ; Electronic data processing ; Congresses ; Saraswat, Vijay ;

2. Advances in computer science--ASIAN 2004 : higher-level decision making : 9 th Asian Computing Science Conference, dedicated to Jean-Louis Lassez on the occasion of his 5th cycle birthday, Chiang Mai, Thailand, December 8-10, 2004 : proceedings

پدیدآورنده: Michael J. Maher )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Computer science,Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic data processing

رده :

QA

76

.

L28

Vol

.

3321

3. Advances in computing science--ASIAN 2003

پدیدآورنده: / Vijay A. Saraswat, ed

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Computer science--Congresses,Programming languages (Electronic computers)--Congresses,Electronic data processing--Congresses

رده :

QA

,

75

.

5

,.

A735

,

2003

4. Advances in computing science--ASIAN 2003 : programming languages and distributed computation : 8th Asian Computing Science Conference, Mumbai, India, December 10-12, 2003 : proceedings

پدیدآورنده: Vijay A. Saraswat, )ed.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Computer science,Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic data processing

رده :

QA

76

.

L28

Vol

.

2896

5. Database applications semantics: proceedings of the IFIP WG 2.6 Working Conference on Database Applications Semantics )DS-6( Stone Mountain, Atlanta, Georgia, U.S.A., May 30 - June 2, 1995

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: Congresses ، Data structures )Computer science(,Congresses ، Programming Languages )Electronic computers(-- Semantics

رده :

QA

76

.

9

.

D35

.

I351

1995

6. Domain-specific program generation : International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003 : revised papers

پدیدآورنده: Christian Lengauer... ]et al.[ )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Generative programming )Computer science(,Congresses ، Programming languages )Electronic computers(,Congresses ، Parallel programming )Computer science(

رده :

QA

76

.

L28

Vol

.

3016

7. Foundations of object-oriented languages : REX School/Workshop Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : Proceedings

پدیدآورنده: J.W. de Bakker, W.P. de Roever, G. Rozenberg, )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Object-oriented programming )Computer science(,Congresses ، Programming languages )Electronic computers(

رده :

QA

76

.

L28

Vol

.

489

8. Foundations of object-oriented languages: REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990: Proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Object-oriented programming )Computer science(-- Congresses,، Programming languages )Electronic computers(-- Congresses

رده :

QA

76

.

64

.

R49

1990

9. Generalized quantifiers and computation

پدیدآورنده: Jouko Väänänen (ed.).

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.

10. Mathematical foundations of programming language semantics : 3rd Workshop , Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987: proceedings

پدیدآورنده: M. Main...]et al.[ )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Computer science -- Mathematics

رده :

QA

76

.

L28

Vol

.

298

11. Mathematical foundations of programming language semantics : 3rd workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987 : proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Programming languages )Electronic computers(-- Semantics-- Congresses,، Computer science-- Mathematics-- Congresses

رده :

QA

76

.

7

.

M378

1988

12. Mathematical foundations of programming semantics :

پدیدآورنده: M. Main, A. Melton, M. Mislove ... [et al.], eds.

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science -- Mathematics -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,sémantique programme.

رده :

QA76

.

7

M535

1990

13. Mathematical foundations of programming semantics : 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings

پدیدآورنده: M. Main...]et al.[, )eds.(

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Semantics -- Congresses ، Programming languages )Electronic computers(,Congresses ، Computer science -- Mathematics

رده :

QA

76

.

L28

Vol

.

442

14. Mathematical foundations of programming semantics : 5th international conference, Tulane University, New Orleans, Louisiana, USA, March 29-April 1, 1989 : proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Programming languages )Electronic computers(-- Sematics-- Congresses,، Computer science-- Mathematics-- Congresses

رده :

QA

76

.

7

.

M38

1990

15. Natural language at the computer: proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: Congresses ، Natural language processing )Computer science(,Congresses ، Text processing )Computer science(,Syntax Congresses ، Programming languages )Electronic computers(,Semantics Congresses ، Programming languages )Electronic computers(

رده :

QA

76

.

9

.

N38

.

S38

1988

16. Programming Languages

پدیدآورنده: \ Alberto Pardo , S. Doaitse Swierstra (Eds.)

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع: Computer science,کامپیوتر,a04,a04,Programming languages (Electronic computers) -- Congresses.,Programming languages (Electronic computers),زبان‌های برنامه‌نویسی کامپیوتر -- کنگره ها ,زبان‌های برنامه‌نویسی کامپیوتر

رده :

QA

76

.

7

.

P76

2015

E-Book

,

17. Programming and algorithmic languages

پدیدآورنده: Yu. Mitnik, A. Khmelnitsky

کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)

موضوع: Programming languages (Electronic computers) -- Congresses,Data structures (Computer science) -- Congresses

رده :

QA

،

76

.

7

،.

P7

،

1987

18. Semantics and algebraic specificatio

پدیدآورنده: / Jens Palsberg (ed.)

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses

رده :

QA

,

76

.

7

,.

S435

,

2009

19. Semantics and algebraic specification

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A

20. Semantics for concurrency : proceedings of the International BCS-FACS Workshop

پدیدآورنده: sponsored by Logic for IT )S.E.R.C.(, 23-25 July 1990, University of Leicester, UK ; )editors( M.Z. Kwiatkowska, M.W. Shields, R.M. Thomas,Title

کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)

موضوع: Parallel programming )Computer science( - Congresses,Programming languages )Electronic computers( - Semantics - Congresses

رده :

QA

.

I56

76

.

642

1990

»
2
1
«

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است